Tag denotational [26 articles] Export

Recent papers classified by the tag denotational.

	A logic for information flow analysis with an application to forward slicing of simple imperative programs [My Copy] Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28. by Torben Amtoft, Anindya Banerjee posted to static-analysis semantics information-flow hoare-logic denotational analysis 2007 by michaelbanks on 2009-08-16 15:54:53 as along with 1 person basvanvlijmen
	On the semantics of Alice&Bob specifications of security protocols [My Copy] Theor. Comput. Sci., Vol. 367, No. 1. (2006), pp. 88-122. by Carlos Caleiro, Luca Viganò, David Basin posted to denotational operational protocols semantics spi-calculus by fdechesn on 2009-04-29 14:56:54 as
	Proof-Directed De-compilation of Low-Level Code [My Copy] In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 352-366. by Shin Y. Katsumata, Atsushi Ohori posted to abstract analysis curry-howard decompilation denotational program proof semantics by ddemange on 2009-04-10 14:06:52 as
	Class analyses as abstract interpretations of trace semantics [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 5. (2003), pp. 578-630. by Fausto Spoto, Thomas Jensen posted to abstract analysis class denotational interpretation semantics by ddemange on 2009-04-10 13:29:12 as
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to calculus computational denotational effects lambda monad nondeterminism principle relational by varming on 2009-02-07 00:38:42 as along with 4 people and 1 group robotact kozima spl bfraser ConcertRG
	Hyperfunctions [My Copy] In Workshop on Fixed Points in Computer Science (September 2001) by John Launchbury, Dusko Pavlovic posted to denotational haskell hyperfunctions semantics by Benja on 2009-01-09 05:04:23 as
	Data Types as Lattices [My Copy] SIAM Journal on Computing, Vol. 5, No. 3. (1976), pp. 522-587. by Dana Scott posted to denotational domains lambda semantics types by Benja on 2009-01-08 19:37:39 as
	A Powerdomain Construction [My Copy] SIAM Journal on Computing, Vol. 5, No. 3. (1976), pp. 452-487. by G. D. Plotkin posted to denotational domains nondeterministic semantics by Benja on 2009-01-08 19:34:07 as
	The Varieties of Programming Language Semantics [My Copy] Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 624-628. by Peter Mosses posted to 2000 axiomatic comparison denotational operational semantics by leonardo on 2008-12-17 01:29:36 as
	The Varieties of Programming Language Semantics And Their Uses [My Copy] Perspectives of System Informatics (2001), pp. 165-190. by Peter Mosses posted to 2001 _to_download_springer axiomatic denotational operational semantics by leonardo on 2008-12-17 01:27:17 as
	Winskel is (almost) Right: Towards a Mechanized Semantics Textbook [My Copy] Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 171-186. by Tobias Nipkow posted to 1998 denotational mechanized operational semantics by leonardo on 2008-12-15 00:26:58 as
	Formal Semantics of Programming Languages [My Copy] (05 February 1993) by Glynn Winskel posted to 1993 _book axiomatic denotational formal operational semantics by leonardo on 2008-12-15 00:25:00 as along with 5 people newdawn hamish dsilva kontakte Malcohol
	Denotation by Transformation [My Copy] Logic-Based Program Synthesis and Transformation (2008), pp. 90-105. by Bernd Braßel, Jan Christiansen posted to no-tag 2008 denotational semantics transformation by leonardo on 2008-12-11 20:49:38 as
	A Denotational Semantics for Deliberation Dialogues [My Copy] In AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (2004), pp. 86-93. by Peter Mcburney, Simon Parsons posted to ai denotational economics by Benja on 2008-12-08 01:49:40 as
	Domains for denotational semantics [My Copy] Automata, Languages and Programming (1982), pp. 577-610. by Dana Scott posted to denotational domains semantics types by Benja on 2008-12-07 03:58:09 as
	A Denotational Semantics for Circus [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 107-123. by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock posted to 2007 circus denotational semantics utp by michaelbanks on 2008-11-24 14:44:40 as
	The Theory and Practice of Concurrency [My Copy] (1997) by A. W. Roscoe posted to 1997 algebraic book concurrency csp denotational model operational semantics textbook theory tool by michaelbanks on 2008-11-03 11:54:43 as along with 3 people and 1 group leonardo zbchen AndreasSchropp CSP
	From algebraic semantics to denotational semantics for Verilog [My Copy] Innovations in Systems and Software Engineering, Vol. 4, No. 4. (December 2008), pp. 341-360. by Huibiao Zhu, Jifeng He, Jonathan Bowen posted to 2008 algebraic denotational semantics _to_download by leonardo on 2008-09-12 14:52:20 as
	Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics [My Copy] Formal Methods and Software Engineering (2002), pp. 600-612. by Zhu Huibiao, Jonathan Bowen, He Jifeng posted to 2002 denotational operational semantics verilog by leonardo on 2008-03-13 14:34:46 as
	OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness [My Copy] Software and Systems Modeling, Vol. V3, No. 1. (1 March 2004), pp. 9-30. by María V. Cengarle, Alexander Knapp posted to 2004 denotational ocl operational semantics uml by leonardo on 2006-10-17 23:26:42 as
	Correspondence between Operational and Denotational Semantics [My Copy] In Handbook of Logic in Computer Science, Vol 4 (1995), pp. 269-356. by C. H. L. Ong edited by S. Abramsky, D. Gabbay, Tom Maibaum posted to 1995 denotational operational semantics by leonardo on 2006-10-17 00:46:49 as along with 1 person ds
	Deriving operational semantics from denotational semantics for Verilog [My Copy] Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 177-184. by Zhu Huibiao, Jonathan Bowen, He Jifeng posted to 2001 denotational operational semantics verilog by leonardo on 2006-10-16 23:32:08 as
	A denotational semantics for stateflow [My Copy] In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software (2005), pp. 164-172. by Grégoire Hamon posted to 2005 denotational semantics statecharts by leonardo on 2006-07-10 21:21:32 as along with 2 people pbostrom Zhu-Ming-Yuan
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to denotational monads semantics by oliverh on 2006-05-05 19:05:21 as along with 7 people and 1 group bulwahn eaubin JacquesC rwtodd cedricboidin bfraser pile NU-PRL
	Inheritance in Smalltalk-80: A Denotational Definition [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 80-87. by Samuel Kamin posted to denotational semantics smalltalk by oliverh on 2006-05-05 13:08:12 as
	Foundations for Programming Languages (Foundations of Computing) [My Copy] (01 September 1996) by John C. Mitchell posted to denotational languages logical parametricity polymorphism programming relation semantics by kontakte on 2006-02-10 17:29:18 as along with 3 people robotact voigt Malcohol

Note: You may cite this page as: http://www.citeulike.org/tag/denotational

semantics	26
operational	12
axiomatic	4
analysis	3
domains	3
2001	2
2007	2
2008	2
abstract	2
algebraic	2
lambda	2
languages	2
programming	2
protocols	2
spi-calculus	2
types	2
verilog	2
1993	1
1995	1
1997	1
1998	1
2000	1
2002	1
2004	1
2005	1
_book	1
_to_download	1
_to_download_springer	1
ai	1
book	1
calculus	1
circus	1
class	1
comparison	1
computational	1
concurrency	1
csp	1
curry-howard	1
decompilation	1
economics	1
effects	1
formal	1
haskell	1
hoare-logic	1
hyperfunctions	1
information-flow	1
interpretation	1
logical	1
mechanized	1
model	1
monad	1
monads	1
nondeterminism	1
nondeterministic	1
ocl	1
parametricity	1
polymorphism	1
principle	1
program	1
proof	1
relation	1
relational	1
smalltalk	1
statecharts	1
static-analysis	1
textbook	1
theory	1
tool	1
transformation	1
uml	1
utp	1

Tag denotational [26 articles] Export

Related Tags